Alan Bundy - PDFSEARCH.IO - Document Search Engine

Alan Bundy
Results: 69

#	Item
41	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh ATX 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Mathematics Knowledge Mathematical proof Formal methods Science Automated theorem proving Heuristics Rippling
42	CHAIRMAN’S REPORT Presented at the ECCAI General Assembly on 30 August 2006 at ECAI-2006, Riva del Garda, Italy. Founded in 1982, ECCAI currently represents 26 European societies for Artificial Intelligence and is now Add to Reading List Source URL: www.eccai.org Language: English Academia Luis Moniz Pereira Bernhard Nebel Austin Tate Alan Bundy Institute of Electrical and Electronics Engineers European Conference on Artificial Intelligence Artificial intelligence Fellows of the British Computer Society European Coordinating Committee for Artificial Intelligence
43	Introduction Automated Reasoning Automated Reasoning and Formal Methods Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Science Reasoning Mathematical logic Theoretical computer science Formal methods Automated reasoning Mathematical proof Algorithm Reason Logic Mathematics Automated theorem proving
44	The use of AI to support top-down formal system development Gudmund Grov University of Edinburgh, UK Joint work with: Alan Bundy, Andrew Ireland, Cliff Jones, Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Abstraction Mathematical logic Mathematical proof Knowledge
45	PRESIDENT’S REPORT Presented at the ECCAI General Assembly on 25 August 2004 at ECAI 2004, Valencia, Spain Founded in 1982, ECCAI currently represents 27 European Societies for Artificial Intelligence and is now 22 yea Add to Reading List Source URL: www.eccai.org Language: English Fellows of the British Computer Society Erik Sandewall Alan Bundy Institute of Electrical and Electronics Engineers Science European Conference on Artificial Intelligence Artificial intelligence European Coordinating Committee for Artificial Intelligence Academia
46	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh NFM 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Heuristics Rippling Knowledge Mathematical proof Invariant Lemmas Mathematics Linguistics Automated theorem proving
47	Microsoft Word - chairreport_2005.doc Add to Reading List Source URL: www.eccai.org Language: English Fellows of the British Computer Society Bernhard Nebel International Joint Conference on Artificial Intelligence Alan Bundy Institute of Electrical and Electronics Engineers European Conference on Artificial Intelligence Artificial intelligence European Coordinating Committee for Artificial Intelligence Academia
48	Towards a ‘Repertoire of Reasons’ Alan Bundy April 25, 2011 Examples of ‘Why’ in Theorem Proving Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Integer sequences Conjectures
49	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh www.inf.ed.ac.uk Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Mathematics Mathematical proof Knowledge Automated theorem proving Heuristics Rippling
50	On “AI meets Formal Software Development” Alan Bundy   AI of the Gaps? Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Automated theorem proving Mathematical logic Mathematical proof Proof Ontology Mathematics Logic Knowledge